Validating XML Configuration Files for Java Web Servers